Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence: Stéphane Graham-Lengrand teaches 50 hours (eq. TD) in L3 at Ecole Polytechnique in the course “INF431: Algorithmique et programmation”.

• Master: Stéphane Graham-Lengrand teaches 36 hours (eq. TD) in M1 at Ecole Polytechnique in the course “INF551: Computer-aided reasoning”, and 15 hours (eq. TD) in M2 at Master Parisien de Recherche en Informatique (MPRI) on “Curry-howard correspondence for classical logic”.

• Master: Dale Miller taught 12 hours at MPRI (Master Parisien de Recherche en Informatique) in the Course 2-1: Logique linéaire et paradigmes logiques du calcul.

• Dale Miller was an invited lecturer at the CUSO Winter School in Mathematics and Computer Science “Proof and Computation”, Les Diablerets, Switzerland, 27-31 January 2013.

Supervision

• PhD: Nicolas Guenot, “Nested Deduction in Logical Foundations for Computation”, Ecole Polytechnique, April 10 2013, supervisor Lutz Straßburger (thesis available at [12] )

• PhD: Ivan Gazeau, “Safe Programming in finite precision: Controlling the errors and information leaks”, Ecole Polytechnique, October 14 2013, supervisors: Dale Miller and Catuscia Palamidessi [11] .

• PhD: Mahfuza Farooque, “Automated reasoning techniques as proof search in sequent calculus”, Ecole Polytechnique, December 19 2013, supervisor: Stéphane Graham-Lengrand [29] .

• PhD in progress: Quentin Heath, since October 2013, supervisor: Dale Miller.

• PhD in progress: Zakaria Chihani, since October 2012, supervisor: Dale Miller.

• PhD in progress: Hernán Vanzetto, since October 2010, co-supervisors: Stefan Merz and Kaustuv Chaudhuri.

Juries

• François Lamarche was member of the PhD jury of Pierre Rannou, Université Aix-Marseille, October 21 2013.

• Dale Miller was a member of the PhD jury of the following three students during 2013: Mahfuza Farooque, Ecole Polytechnique 19 December 2013 (evaluator); Stéphane Zimmermann, University of Paris Diderot, 10 December 2013 (president); Matthias Puech, University of Bologna, 8 April 2013 (reporter).

• Stéphane Graham-Lengrand was member of the PhD jury of Sophia Knight, École Polytechnique, September 20 2013.